absurd :: Void -> a